formal method use case formal methods aristotle reliability computer security security software verification aristoteles syllogistic termlogik quality assurance term logic systems greek logic control equipment testing syllogism
